exhausted reader
Source: /avail/Avail/Data Abstractions/Iterators/Exhausted Readers
Categories: Data Abstractions, Readers
An exhausted reader is always exhausted.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | anIterator | exhausted reader | An exhausted reader. | |
| Returns | true's type |
true.
|
||
zipped reader
Source: /avail/Avail/Data Abstractions/Iterators/Zipped Readers
Categories: Data Abstractions, Readers
Determine if the zipped reader is exhausted.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aReader | zipped reader | ||
| Returns | boolean | |||
iterator
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Categories: Data Abstractions, Iterators
Is the specified iterator exhausted?
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | anIterator | iterator | An iterator. | |
| Returns | boolean |
true if the argument is exhausted, false otherwise.
|
||
bounded reader
Source: /avail/Avail/Data Abstractions/Iterators/Bounded Readers
Categories: Data Abstractions, Readers
Test whether this
bounded reader is exhausted.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aReader | bounded reader | ||
| Returns | boolean | Whether the reader is exhausted. | ||
converting reader
Source: /avail/Avail/Data Abstractions/Converters/Converting Reader
Categories: Data Abstractions, Converters, Readers
A converting reader is exhausted when (1) the output buffer is empty, (2) the underlying reader is exhausted, and (3) flushing the converter into the (empty) buffer leaves it empty.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aReader | converting reader | ||
| Returns | boolean | |||
filtered reader
Source: /avail/Avail/Data Abstractions/Iterators/Filtered Readers
Categories: Data Abstractions, Readers
Determine if the filtered reader is exhausted. This may cause the decorated reader to be advanced multiple times.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aReader | filtered reader | ||
| Returns | boolean | |||
converting reader
Source: /avail/Avail/Data Abstractions/Converters/Converting Reader
Categories: Data Abstractions, Converters, Readers
A converting reader is exhausted when (1) the output buffer is empty, (2) the underlying reader is exhausted, and (3) flushing the converter into the (empty) buffer leaves it empty.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aReader | converting reader | ||
| Returns | ⊤ | |||
concatenation reader
Source: /avail/Avail/Data Abstractions/Iterators/Concatenation Readers
Categories: Data Abstractions, Readers
Test whether the concatenation reader is exhausted. Correct any denormalization first, such as the current reader within the concatenation reader being exhausted.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | aReader | concatenation reader | ||
| Returns | boolean | Whether the sequence of readers is itself exhausted. | ||